基于频繁模式树的约束最大频繁项目集挖掘算法研究

目前绝大多数频繁项目集(或最大频繁项目集)挖掘算法并没有考虑相关领域知识,其结果会产生许多无关的模式.因此,发现约束频繁(或约束最大频繁)项目集是多种数据挖掘应用中的关键问题,然而,这方面的研究工作却很少.为此该文提出了一种快速的基于频繁模式树(FP-tree:一种扩展前缀树结构)的约束最大频繁项目集挖掘及其更新算法.实验结果表明该算法是快速有效的.     

汽车内部布置概念设计建模

用面向对象分析方法给出了汽车内部布置概念设计对象的层次结构,建立了对象之间面向舒适坐姿的连接依赖关系,并用动态约束网络描述了对象之间的动态约束关系,采用约束满足问题求解策略求得满足约束条件的布置参数.     

非游荡性及Kato意义下的逼近

在略掉无条件基的情形下，以构造的方式，研究了l^1上单边(加权)后移位算子并推广了Salas的一个结果，使得它们在适当的条件下可构成非游荡算子；同时，从微分动力学中拓扑共轭的角度出发，证明了当Banach空间序列{Xn}≥1在Kato意义下逼近Banach空间X时，空间序列上的有界线性算子Tn，T的非游荡性在一定的条件可以相互保持，并得到几个相应的结果；进而为非游荡算子扰动问题的研究提供了一条思路．     

基于事件响应event-response的动态工作流系统

提出了一种在企业工作流管理系统中运用由协作的各企业提供的对事件的响应(event-response)的方案来实现动态的工作流系统。通过工作流引擎灵活地调度、控制，利用基于约束的动态绑定机制动态地将事件的响应请求绑定到合适的event-response和响应提供者(provider)，从而柔性地，协同地完成共同的目标。     

引入风险价值约束的投资组合理论

风险价值(VaR)是近年来最为流行的风险管理工具．本文在无风险证券情形下，将VaR约束引入到传统的均值一方差投资组合理论中，考察了此时投资组合的有效前沿以及投资组合选择的变化，并指出了VaR约束对证券投资基金组合管理的意义．     

虚拟装配系统及其关键技术

基于约束识别和混合建模思想开发了一个虚拟装配系统(VAE)．分析并构建了系统的功能模块和体系结构，研究了特征和网格混合建模、约束识别和求解以及实时碰撞检测等支撑VAE的关键技术，据此开发了基于PowerWall硬件系统的VAE原型系统．该原型系统可以完成产品的装配工艺规划和装配操作培训，并具备简单的参数化几何建模功能．     

基于遗传算法的约束广义预测控制

广义预测控制要求控制对象必须是线性无约束的，优化的性能指标也必须是二次型形式，因此，广义预测控制的工业应用存在很大局限性．本文尝试用遗传算法来解决存在约束的广义预测控制的优化问题，给出了基于遗传算法的广义预测控制算法的实现方法，并通过工业过程对象的仿真，验证了该方法的有效性，且控制效果良好．     

基于细分优化方法的织物模拟

提出一种基于插值细分造型的织物模拟算法.通过对织物物理和几何属性分析,构造出一个带约束的几何模型,在改进的四点插值细分造型基础上,通过动态细分网格并结合曲面优化调整以达到高效模拟柔性织物自然行为的目的.克服了以往仿真方法中求解物理模型复杂、模拟过程难以控制的缺陷,简化了计算模型,提高了计算效率.最后,以织物模拟为例说明该算法的实现.     

Conservation laws for mechanical systems with unilateral holonomic constraints

A general approach to the construction of conservation laws for mechanical systems with unilateral holonomic constraints by finding corresponding integrating factors is presented.The definition of integrating factors for the Routh equations of motion of the systems is given, and the necessary conditions for the existence of conserved quantities of the unilateral holonomic constraint systems are studied in detail.The conservation theorem and its inverse for the systems are established, and an example is given to illustrate the application of the results.     

一类带时间约束指派问题的分枝定界算法

通过对模型特征分析,提出了一种分枝定界算法,实例应用及算法复杂性分析证明了该算法的有效性.